Automated planning and scheduling - PDFSEARCH.IO - Document Search Engine

Automated planning and scheduling
Results: 432

#	Item
161	Journal of Artificial Intelligence Research328 Submitted 07/11; publishedSAS+ Planning as Satisfiability Ruoyun Huang Add to Reading List Source URL: www.jair.org Language: English - Date: 2012-03-13 19:59:19 SAS Limit Software Computing Artificial intelligence Automated planning and scheduling STRIPS
162	Journal of Artificial Intelligence Research398 Submitted 7/14; published 3/15 Inferring Team Task Plans from Human Meetings: A Generative Modeling Approach with Logic-Based Prior Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-03-31 00:50:52 Knowledge Theoretical computer science Machine learning Automated planning and scheduling Planning Domain Definition Language Causality Logic programming Algorithm Generative model Logic Science Reasoning
163	Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-10-09 01:39:43 Logic programming Automated planning and scheduling Situation calculus Functions and mappings Action description language STRIPS Function FO First-order logic Mathematics Mathematical logic Abstract algebra
164	Journal of Artificial Intelligence Research257 Submitted 09/07; publishedLoosely Coupled Formulations for Automated Planning: An Integer Programming Perspective Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:20:43 Variables Elementary mathematics Combinatorial optimization Linear programming Automated planning and scheduling Constraint satisfaction Parallel computing Function Mathematics Mathematical optimization Operations research
165	INTEGER PROGRAMMING APPROACHES FOR AUTOMATED PLANNING by Menkes Hector Louis van den Briel A Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 19:01:15 Mathematical optimization Automated planning and scheduling Linear programming AMPL Mathematical model Integer programming Scheduling Logic programming Algorithm Operations research Mathematics Applied mathematics
166	Using Classical Planners to Solve Nondeterministic Planning Problems Ugur Kuter Dana Nau Elnatan Reisner Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 New Democratic Party Reactive planning Automated planning and scheduling S0 Planning Domain Definition Language
167	Scheduling Success Optimizing material and labor resources by scheduling against capacity can certainly bear on financial considerations. An automated scheduling system allows this manufacturer of personal care products Add to Reading List Source URL: www.jobtime.com Language: English - Date: 2010-08-05 19:51:46 Operations research Scheduling algorithms Information technology management Scheduling Material requirements planning Planning Business Technology
168	Microsoft PowerPoint - figures3.ppt Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:19:12 Mathematics Automated planning and scheduling Linear programming Linear programming relaxation Relaxation Action Causality STRIPS Mathematical optimization Operations research Physics
169	Learning High-Level Planning from Text S.R.K. Branavan, Nate Kushman, Tao Lei, Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {branavan, nkushman, taolei, re Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-11 11:57:26 Automated planning and scheduling STRIPS Planning Domain Definition Language
170	Planning with Numerical State Variables through Mixed Integer Programming Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-28 20:23:33 Planning Domain Definition Language Cutting-plane method Artificial intelligence Applied mathematics Mathematics Non-classical logic Logic programming Operations research Automated planning and scheduling Mathematical optimization

UPDATE